Forschungsberichte der Fakultät IV – Elektrotechnik und Informatik Efficient Analysis and Execution of Correct and Complete Model Transformations Based on Triple Graph Grammars -Extended Version
نویسندگان
چکیده
Triple Graph Grammars are a well-established, formal and intuitive concept for the speci cation and analysis of bidirectional model transformations. In previous work we have formalized and analyzed already termination, correctness, completeness, local con uence and functional behaviour. In this paper, we show how to improve the e ciency of the execution and analysis of model transformations in practical applications by using triple rules with negative application conditions (NACs). In addition to speci cation NACs, which improve the speci cation of model transformations, the generation of lter NACs improves the e ciency of the execution and the analysis of functional behaviour supported by critical pair analysis of the tool AGG. We illustrate the results for the well-known model transformation from class diagrams to relation database models.
منابع مشابه
Forschungsberichte der Fakultät IV – Elektrotechnik und Informatik Model Transformation of Model Fragments Using Borrowed Context: Extended Version
In this technical report we study the transformation of models in the context of algebraic graph transformation and triple graph grammars. The new contribution of the report is to define and analyze the transformation of model fragments in general and the propagtion of graph constraints in particular. With the borrowed context we developed a technique further to the model transformation with tr...
متن کاملForschungsberichte der Fakultät IV – Elektrotechnik und Informatik Formal Analysis of Functional Behaviour for Model Transformations Based on Triple Graph Grammars - Extended Version
Triple Graph Grammars (TGGs) are a well-established concept for the speci cation of model transformations. In previous work we have formalized and analyzed already crucial properties of model transformations like termination, correctness and completeness, but functional behaviour especially local con uence is missing up to now. In order to close this gap we generate forward translation rules, w...
متن کاملForschungsberichte der Fakultät IV – Elektrotechnik und Informatik Conformance Analysis of Organizational Models in a new Enterprise Modeling Framework using Algebraic Graph Transformation - Extended Version
Organizational models play a key role in today's enterprise modeling. These models often show up as partial models produced by people with di erent conceptual understandings in a usually decentralized organization, where they are modeled in a distributed and non-synchronized fashion. For this reason, there is a rst major need to organize partial organizational models within a suitable modeling ...
متن کاملForschungsberichte der Fakultät IV – Elektrotechnik und Informatik Transfer of Local Confluence and Termination between Petri Net and Graph Transformation Systems Based on M-Functors: Extended Version
Recently, a formal relationship between Petri net and graph transformation systems has been established using the new framework of M-functors F : (C1,M1) → (C2,M2) between M-adhesive categories. This new approach allows to translate transformations in (C1,M1) into corresponding transformations in (C2,M2) and, vice versa, to create transformations in (C1,M1) from those in (C2,M2). This is helpfu...
متن کاملForschungsberichte der Fakultät IV – Elektrotechnik und Informatik Countering SMS Attacks: Filter Recommendations
In this paper we summarize the findings of our investigation on security issues of Short Message Service (SMS) clients on mobile phones. We realized that firmware updates will not be available on a large scale and thus see filtering of SMS traffic as the only possible counter measure against large scale attacks based on SMS messages. This paper presents our ideas on filtering SMS features by th...
متن کامل